A race to create info/ has been eliminated
authorRob Browning <rlb@defaultvalue.org>
Thu, 23 Oct 2014 15:24:22 +0000 (10:24 -0500)
committerRob Browning <rlb@defaultvalue.org>
Sun, 14 Jun 2015 17:51:54 +0000 (12:51 -0500)
commitb51dea422fddfb92257b9e77a737560555137b90
tree6bbcb637ea8bad5ef32691049a2023c62f229eb6
parent62fd831f6126f948d0010474858f6f02bd761c88
A race to create info/ has been eliminated

Previously something like "make -j2 info" might fail because there was
a race to create info/.  This backport was adapted from the broader
patch listed below.

Origin: backport, commit: r118181, a385f9e187ceec0610f000158305c9d5cb987dbd
Added-by: Rob Browning <rlb@defaultvalue.org>
Makefile.in